206 XIII INTEGRATION if M0 n N0 is p-negligible. Putting M = M0 - (M0 n N0) and N = NO - (M0 n NO), this condition is equivalent to the relations g = q>Mg and h = <pN/z almost everywhere with respect to p (13.15.3). But g = <pMg almost everywhere with respect to p if and only if p = cpM • n (13.15.3) and (13.14.5)), or equivalently if and only if \L is concentrated on M. This proves the first assertion. The second follows by replacing M and N by universally measurable sets M' G M and N' c N such that |/i|(M - M7) = 0 and |v|(N - N') = 0 (13.9.3). In particular, if ju is any real measure, then u+ and u~ are concentrated on two disjoint ^-measurable sets, each of which is both u+-measurable and /T-measurable ((13.15.3) and (13.16.1)). '(13.18.2) (i) Ifk is a measure disjoint from each of two measures ju, v, then X is disjoint from ju + v. (ii) IfH is a set of positive measures disjoint from a measure v, and //H is bounded above, then \JL = sup H (13.15.4) is disjoint from v. (i) We may assume that X, u, v are all positive and of the forms 1 =/• p, jj. = g ' p, v = h * p, where p is a positive measure and/, g, h are positive. The result then follows from the inequality inf(/, g + h) ^ inf(/, g] + inf(/, h). (ii) We may assume that v ^ 0 and that H consists of an increasing sequence (/O (13.15.4), and we may write v = h - p, un = gn - p, p = (sup gn\ - p, \ » / where p is a positive measure and/and the gn are positive functions. Then the result follows from the formula inf//, sup gn\ = sup /inf(/, gn)\. (13.18.3) If two measures fi, v are disjoint, then \fj, + v| = \JJL\ -h |v|. Write ju = g • p and v = h - p, where p is a positive measure and inf(|#|, \h\) = 0; then use the relation \g 4- h\ = \g\ + \h\. (13.18.4) (Lebesgue's decomposition theorem) Let \JL be a positive meas- ure on X. Then every complex measure v on X is uniquely expressible in the form v = v' + v", where v' has base n and v" is disjoint from u. Ifv*tQ, then v' andv" are positive, and V = sup(inf(v, nu)). If vi + vj = v'2 + V2, where vj and v^ are disjoint from /z, and vi and v'2 are measures with base /z, then we have v'[ — v£ = v^ — vj, and since v'2 - v[ is disjoint from p (13.18.2), it can be a measure with base u only if it is zero, by virtue of (13.18.1). This establishes the uniqueness of the decomposition. Forligible if and onlygmen-Lindelof principle as in Section 9.5, Problem 17, by taking g(s) = e*2.)